execution end 예문

예문

A liveness property cannot be violated in a finite execution of a distributed system because the " good " event might only theoretically occur at some time after execution ends.